$\forall$${\it the\_es}$:ES, ${\it e'}$, $e$:E. Dec(($e$ $<$loc ${\it e'}$))